marketing cloud for Persado’s platform generates the most persuasive language for communications designed to drive action. The software uses semantic algorithms to map emotions and generate language

Source URL: persado.com

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

Children’s Sentence Processing Jesse Snedeker Department of Psychology Harvard University

Source URL: software.rc.fas.harvard.edu

• Linguistics
• Cognition
• Cognitive science
• Psycholinguistics
• Language acquisition
• Sentence processing
• Language
• Argument
• Language development
• Working memory
• Dependency grammar
• Reading

Embodied cognition(s), development and language: An outsider’s perspective Jesse Snedeker Embodiment takes many forms

Source URL: software.rc.fas.harvard.edu

• Cognition
• Cognitive science
• Mindbody problem
• Embodied cognition
• Philosophy of artificial intelligence
• ACT-R
• Neuroscience

Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Computer programming
• Memory management
• Software bugs
• Programming language implementation
• Functional languages
• C++
• Pointer
• C dynamic memory allocation
• Buffer overflow protection
• Optimizing compiler

PREConcrete Building Survey Pre – 1980 Concrete Buildings City of Long Beach

Source URL: www.concretecoalition.org

• Computing
• Software
• Construction
• Pavements
• GIS software
• Google Earth
• Keyhole Markup Language
• Remote sensing
• Web mapping
• Concrete
• Overlay
• JPEG

Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139

Source URL: stanford.edu

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Functional programming
• Programming languages
• Data types
• Control flow
• Eval
• Bayesian network
• Scheme
• Lisp

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

Edit DistanceGraphical Models .........

Source URL: genome.sph.umich.edu

• C++
• Computer programming
• Software engineering
• Hidden Markov model
• C++ string handling
• Programming language theory

Dynamic Compilation with Truffle Thomas Wuerthinger @thomaswue Oracle Labs

Source URL: vjovanov.github.io

• Cross-platform software
• Programming language implementation
• Compiler construction
• Java virtual machine
• Interpreter
• Graal
• Just-in-time compilation
• Bytecode
• Java
• Oracle Database
• Oracle Corporation
• Oracle machine